Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·15h
🧮Theorem Proving
Cactus Language • Semantics 3
inquiryintoinquiry.com·3h
🔢Denotational Semantics
Let's Write a Macro in Rust
hackeryarn.com·3h·
Discuss: Hacker News
🦀Rust Macros
Three ways formally verified code can go wrong in practice
buttondown.com·1h
📜Proof Carrying Code
Building a Task Management MCP Server with Laravel
dev.to·2h·
Discuss: DEV
🔗Constraint Handling
An enough week
blog.mitrichev.ch·23h·
🧮Z3 Solver
Neuro-Symbolic AI
en.wikipedia.org·4h·
Discuss: Hacker News
🔲Cellular Automata
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·1d
Proof Automation
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·15h
🔗Graph Isomorphism
Experimenting with ACL2 and Claude Code
mikedodds.org·6h·
Discuss: Hacker News
👑Isabelle
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org·1d·
Discuss: Hacker News
🔗Constraint Handling
Customizing text content moderation with Amazon Nova
aws.amazon.com·21h
📊Feed Optimization
[R] How to retrieve instructions given to annotators - RLHF
reddit.com·10h·
📚Documentation Archaeology
How the Rise of Tabular Foundation Models Is Reshaping Data Science
towardsdatascience.com·1d
🧠Machine Learning
Operable Software
ferd.ca·5h·
Discuss: Hacker News
👁️System Observability
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.org·1d·
Discuss: Hacker News
🔒Language-based security
Building your MCP server with Laravel
sevalla.com·1d·
Discuss: Hacker News
🔗Constraint Handling
METRICALARGS: A Taxonomy for Studying Metrical Poetry with LLMs
arxiv.org·15h
📊HyperLogLog